Formal techniques for computer systems and business processes : European performance engineering workshop, EPEW 2005 and international workshop on web services and formal methods, WS-FM 2005, Versailles, France, September 1-3, 2005, proceedings /

Authors: Bravetti, Mario%editor | Kloul, Leila%editor | %Zavattaro, Gianluigi.%editor Series: Lecture notes in computer science ; . 3670 Published by : Springer, (New York, NY :) Physical details: xiii, 348 p. ISBN: 3540287019 Subject(s): Computer systems %Evaluation | %Formal methods (Computer science) | %Telecommunication systems %Evaluation. | %Web services. | %Software engineering. | Logic design. | %Computer science | %Stochastic models. Year: 2005